Intuitionistic logic

Results: 208



#Item
61The ILTP Problem Library for Intuitionistic Logic Release v1.1 Thomas Raths∗ , Jens Otten and Christoph Kreitz Institut f¨ ur Informatik, University of Potsdam, Germany. e-mail: {traths,jeotten,kreitz}@cs.uni-potsdam.

The ILTP Problem Library for Intuitionistic Logic Release v1.1 Thomas Raths∗ , Jens Otten and Christoph Kreitz Institut f¨ ur Informatik, University of Potsdam, Germany. e-mail: {traths,jeotten,kreitz}@cs.uni-potsdam.

Add to Reading List

Source URL: www.cs.uni-potsdam.de

Language: English - Date: 2008-03-22 23:03:52
    62Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon and Alan Smaill and Alan Bundy School of Informatics, University of Edinburgh, UK {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk Abstract

    Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon and Alan Smaill and Alan Bundy School of Informatics, University of Edinburgh, UK {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk Abstract

    Add to Reading List

    Source URL: www-vvps09.imag.fr

    Language: English - Date: 2009-08-25 03:10:48
      63leanCoP 2.0 and ileanCoP 1.2 : High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) Jens Otten Institut f¨

      leanCoP 2.0 and ileanCoP 1.2 : High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) Jens Otten Institut f¨

      Add to Reading List

      Source URL: www.jens-otten.de

      Language: English - Date: 2012-03-30 11:05:48
        64The ILTP Problem Library for Intuitionistic Logic Release v1.1 Thomas Raths∗ , Jens Otten and Christoph Kreitz Institut f¨ ur Informatik, University of Potsdam, Germany. e-mail: {traths,jeotten,kreitz}@cs.uni-potsdam.

        The ILTP Problem Library for Intuitionistic Logic Release v1.1 Thomas Raths∗ , Jens Otten and Christoph Kreitz Institut f¨ ur Informatik, University of Potsdam, Germany. e-mail: {traths,jeotten,kreitz}@cs.uni-potsdam.

        Add to Reading List

        Source URL: www.iltp.de

        Language: English - Date: 2013-01-21 15:04:11
          65The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic Thomas Raths? Jens Otten

          The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic Thomas Raths? Jens Otten

          Add to Reading List

          Source URL: www.jens-otten.de

          Language: English - Date: 2012-03-30 11:05:42
            66A Connection Based Proof Method for Intuitionistic Logic Jens Otten Christoph Kreitz

            A Connection Based Proof Method for Intuitionistic Logic Jens Otten Christoph Kreitz

            Add to Reading List

            Source URL: www.cs.uni-potsdam.de

            Language: English - Date: 2008-03-22 22:56:48
              67leanCoP 2.0 and ileanCoP 1.2 : High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) Jens Otten Institut f¨

              leanCoP 2.0 and ileanCoP 1.2 : High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) Jens Otten Institut f¨

              Add to Reading List

              Source URL: www.cs.uni-potsdam.de

              Language: English - Date: 2009-07-21 13:21:10
                68RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky

                RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky

                Add to Reading List

                Source URL: hott-uf.gforge.inria.fr

                Language: English - Date: 2015-07-04 05:55:41
                69Tableau Development for a Bi-Intuitionistic Tense Logic? John G. Stell1 , Renate A. Schmidt2 , and David Rydeheard2 1 2

                Tableau Development for a Bi-Intuitionistic Tense Logic? John G. Stell1 , Renate A. Schmidt2 , and David Rydeheard2 1 2

                Add to Reading List

                Source URL: www.cs.man.ac.uk

                Language: English - Date: 2014-01-31 13:35:41
                  70Relating Sequent Calculi for Bi-intuitionistic Propositional Logic Lu´ıs Pinto Tarmo Uustalu

                  Relating Sequent Calculi for Bi-intuitionistic Propositional Logic Lu´ıs Pinto Tarmo Uustalu

                  Add to Reading List

                  Source URL: cs.ioc.ee

                  Language: English - Date: 2011-01-27 08:54:11